InforLorV4, Main, Exploration, bibRecord, 00B346

Modular aspects of rewrite-based specifications

Identifieur interne : 00B346 ( Main/Exploration ); précédent : 00B345; suivant : 00B347

Modular aspects of rewrite-based specifications

Auteurs : Bernhard Gramlich [France]

Source :

Lecture Notes in Computer Science [ 0302-9743 ]

RBID : ISTEX:B270C2C0FC00DCB4847699C160BC8BDD052B789B

Descripteurs français

Pascal (Inist)
- Informatique théorique, Spécification algébrique, Spécification formelle, Système réécriture, Sémantique opérationnelle.

English descriptors

KwdEn :
- Algebraic specification, Computer theory, Formal specification, Operational semantics, Rewriting systems.

Abstract

Abstract: We investigate modular properties of term rewriting systems, the basic operational formalism for equational specifications. First we study sufficient conditions for the preservation of the termination property under disjoint (and more general) combinations of term rewriting systems. By means of a refined analysis of existing approaches we show how to prove several new asymmetric preservation results. For this purpose we introduce two interesting new properties of term rewriting systems related to collapsing reductions: uniquely collapsing and collapsing confluent. We discuss these properties w.r.t. well-known confluence, and normal form properties, and show that they are modular consistency for left-linear systems, but not in general.

Url:

https://api.istex.fr/ark:/67375/HCB-VWZZRW10-2/fulltext.pdf

DOI: 10.1007/3-540-64299-4_38

Affiliations:

Le document en format XML

<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Modular aspects of rewrite-based specifications</title>
<author><name sortKey="Gramlich, Bernhard" sort="Gramlich, Bernhard" uniqKey="Gramlich B" first="Bernhard" last="Gramlich">Bernhard Gramlich</name>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">ISTEX</idno>
<idno type="RBID">ISTEX:B270C2C0FC00DCB4847699C160BC8BDD052B789B</idno>
<date when="1998" year="1998">1998</date>
<idno type="doi">10.1007/3-540-64299-4_38</idno>
<idno type="url">https://api.istex.fr/ark:/67375/HCB-VWZZRW10-2/fulltext.pdf</idno>
<idno type="wicri:Area/Istex/Corpus">002A30</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">002A30</idno>
<idno type="wicri:Area/Istex/Curation">002993</idno>
<idno type="wicri:Area/Istex/Checkpoint">002578</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Checkpoint">002578</idno>
<idno type="wicri:doubleKey">0302-9743:1998:Gramlich B:modular:aspects:of</idno>
<idno type="wicri:Area/Main/Merge">00BA68</idno>
<idno type="wicri:source">INIST</idno>
<idno type="RBID">Pascal:98-0224299</idno>
<idno type="wicri:Area/PascalFrancis/Corpus">000C06</idno>
<idno type="wicri:Area/PascalFrancis/Curation">000C68</idno>
<idno type="wicri:Area/PascalFrancis/Checkpoint">000B44</idno>
<idno type="wicri:explorRef" wicri:stream="PascalFrancis" wicri:step="Checkpoint">000B44</idno>
<idno type="wicri:doubleKey">0302-9743:1998:Gramlich B:modular:aspects:of</idno>
<idno type="wicri:Area/Main/Merge">00BB66</idno>
<idno type="wicri:Area/Main/Curation">00B346</idno>
<idno type="wicri:Area/Main/Exploration">00B346</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Modular aspects of rewrite-based specifications</title>
<author><name sortKey="Gramlich, Bernhard" sort="Gramlich, Bernhard" uniqKey="Gramlich B" first="Bernhard" last="Gramlich">Bernhard Gramlich</name>
<affiliation wicri:level="3"><country xml:lang="fr">France</country>
<wicri:regionArea>INRIA Lorraine & CRIN, BP 101, 54602, Villers-lés-Nancy</wicri:regionArea>
<placeName><region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Villers-lés-Nancy</settlement>
</placeName>
</affiliation>
<affiliation wicri:level="1"><country wicri:rule="url">France</country>
</affiliation>
</author>
</analytic>
<monogr></monogr>
<series><title level="s" type="main" xml:lang="en">Lecture Notes in Computer Science</title>
<title level="s" type="abbrev">Lect Notes Comput Sci</title>
<idno type="ISSN">0302-9743</idno>
<idno type="eISSN">1611-3349</idno>
<idno type="ISSN">0302-9743</idno>
</series>
</biblStruct>
</sourceDesc>
<seriesStmt><idno type="ISSN">0302-9743</idno>
</seriesStmt>
</fileDesc>
<profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>Algebraic specification</term>
<term>Computer theory</term>
<term>Formal specification</term>
<term>Operational semantics</term>
<term>Rewriting systems</term>
</keywords>
<keywords scheme="Pascal" xml:lang="fr"><term>Informatique théorique</term>
<term>Spécification algébrique</term>
<term>Spécification formelle</term>
<term>Système réécriture</term>
<term>Sémantique opérationnelle</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">Abstract: We investigate modular properties of term rewriting systems, the basic operational formalism for equational specifications. First we study sufficient conditions for the preservation of the termination property under disjoint (and more general) combinations of term rewriting systems. By means of a refined analysis of existing approaches we show how to prove several new asymmetric preservation results. For this purpose we introduce two interesting new properties of term rewriting systems related to collapsing reductions: uniquely collapsing and collapsing confluent. We discuss these properties w.r.t. well-known confluence, and normal form properties, and show that they are modular consistency for left-linear systems, but not in general.</div>
</front>
</TEI>
<affiliations><list><country><li>France</li>
</country>
<region><li>Grand Est</li>
<li>Lorraine (région)</li>
</region>
<settlement><li>Villers-lés-Nancy</li>
</settlement>
</list>
<tree><country name="France"><region name="Grand Est"><name sortKey="Gramlich, Bernhard" sort="Gramlich, Bernhard" uniqKey="Gramlich B" first="Bernhard" last="Gramlich">Bernhard Gramlich</name>
</region>
<name sortKey="Gramlich, Bernhard" sort="Gramlich, Bernhard" uniqKey="Gramlich B" first="Bernhard" last="Gramlich">Bernhard Gramlich</name>
</country>
</tree>
</affiliations>
</record>

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 00B346 | SxmlIndent | more

HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 00B346 | SxmlIndent | more

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    RBID
   |clé=     ISTEX:B270C2C0FC00DCB4847699C160BC8BDD052B789B
   |texte=   Modular aspects of rewrite-based specifications
}}

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022

Serveur d'exploration sur la recherche en informatique en Lorraine

Modular aspects of rewrite-based specifications

Modular aspects of rewrite-based specifications

Source :

Descripteurs français

English descriptors

Abstract

Links toward previous steps (curation, corpus...)

Le document en format XML

Pour manipuler ce document sous Unix (Dilib)

Pour mettre un lien sur cette page dans le réseau Wicri

	Serveur d'exploration sur la recherche en informatique en Lorraine
	Attention, ce site est en cours de développement ! Attention, site généré par des moyens informatiques à partir de corpus bruts. Les informations ne sont donc pas validées.